tools: fix permissions of git-checkout.sh
authorIan Jackson <Ian.Jackson@eu.citrix.com>
Tue, 13 Sep 2011 13:52:22 +0000 (14:52 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Tue, 13 Sep 2011 13:52:22 +0000 (14:52 +0100)
commitbcbf8c5464ab321e9dc80b0c56d55f4945e4a2fc
tree3175116195eb32bdba549a8268179e8588b076ff
parent6018608caf53ea4502b0a77408d2765c6544afef
tools: fix permissions of git-checkout.sh

23828:0d21b68f528b introduced a new scripts/git-checkout.sh, but it
had the wrong permissions.  chmod +x it, and add a blank line at the
end to make sure it actually gets updated.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
scripts/git-checkout.sh [changed mode: 0644->0755]